Logic synthesis - PDFSEARCH.IO - Document Search Engine

Logic synthesis
Results: 291

#	Item
61	Manuel Hermenegildo Areas of Interest Energy-Aware Computing, Resource / non-functional property analysis, verification, and control; Global Program Analysis, Optimization, Verification, Debugging; Abstract Interpretatio Add to Reading List Source URL: www.clip.dia.fi.upm.es Language: English - Date: 2014-07-12 00:42:10 Programming paradigms Formal sciences Association for Computing Machinery Principles of Programming Languages Formal methods International Conference on Logic Programming Logic programming International Symposium on Logic-based Program Synthesis and Transformation Lecture Notes in Computer Science Computer science Computing Software engineering
62	Software Synthesis Procedures ∗ Viktor Kuncak Mikaël Mayer LARA, I&C Add to Reading List Source URL: lara.epfl.ch Language: English - Date: 2011-12-03 07:53:01 Model theory Logic in computer science Constraint programming Electronic design automation Formal methods Satisfiability Modulo Theories Boolean satisfiability problem First-order logic Interpretation Mathematical logic Theoretical computer science Mathematics
63	Yosys Manual Clifford Wolf Abstract Most of today’s digital design is done in HDL code (mostly Verilog or VHDL) and with the help of HDL synthesis tools. Add to Reading List Source URL: www.clifford.at Language: English - Date: 2015-02-09 07:25:28 Electronic design Digital electronics Verilog Logic synthesis VHDL Field-programmable gate array High-level synthesis Application-specific integrated circuit Register-transfer level Electronic engineering Electronic design automation Hardware description languages
64	Synthesis of Distributed Systems Dissertation zur Erlangung des Grades des Doktors der Naturwissenschaften der Naturwissenschaftlich-Technischen Fakult¨ aten der Universit¨ at des Saarlandes Add to Reading List Source URL: cgi.csc.liv.ac.uk Language: English - Date: 2008-09-22 13:33:40 Theoretical computer science Algorithm Mathematical logic
65	Comfusy: A Tool for Complete Functional Synthesis Tool Presentation Viktor Kuncak, Mika¨el Mayer, Ruzica Piskac, Philippe Suter? Swiss Federal Institute of Technology (EPFL), Switzerland Add to Reading List Source URL: lara.epfl.ch Language: English - Date: 2010-05-11 07:07:53 Logic in computer science Formal methods Constraint programming Electronic design automation NP-complete problems Satisfiability Modulo Theories Algorithm Presburger arithmetic Function Mathematics Theoretical computer science Mathematical logic
66	Synthesis of Reactive Systems Jens Regenberg <> IV Add to Reading List Source URL: cgi.csc.liv.ac.uk Language: English - Date: 2008-09-23 06:27:20 Formal methods Büchi automaton Ω-automaton Linear temporal logic SIGNAL Powerset construction Automata theory Theoretical computer science Computer science
67	Chapter 1 Methodology and Example-Driven Interconnect Synthesis for Designing Heterogeneous Coarse-Grain Reconfigurable Architectures Johann Glaser, Clifford Wolf∗ Add to Reading List Source URL: www.clifford.at Language: English - Date: 2013-12-08 09:21:06 Field-programmable gate array Reconfigurable computing Application-specific integrated circuit Programmable logic device Hardware description language Integrated circuit design Electronic engineering Electronics Integrated circuits
68	Abstraction-Guided Synthesis of Synchronization Martin Vechev Eran Yahav Greta Yorsh Add to Reading List Source URL: www.cs.technion.ac.il Language: English - Date: 2009-11-12 20:41:49 Function Abstraction Mereology Valuation Mathematics Mathematical logic Abstract interpretation
69	Synthesis for Regular Specifications over Unbounded Domains Jad Hamza∗, Barbara Jobstmann†, Viktor Kuncak‡ ∗ ENS Cachan, France † CNRS/Verimag, France, ‡ EPFL, Switzerland Add to Reading List Source URL: lara.epfl.ch Language: English - Date: 2010-08-02 10:05:45 Mathematics Formal methods Nondeterministic finite automaton Linear temporal logic Finite-state machine Function Symbol Büchi automaton Automata theory Models of computation Theoretical computer science
70	Complete Functional Synthesis Viktor Kuncak Mika¨el Mayer Ruzica Piskac Add to Reading List Source URL: lara.epfl.ch Language: English - Date: 2010-04-01 07:52:40 Model theory Logic in computer science Predicate logic Semantics NP-complete problems Satisfiability Modulo Theories Function First-order logic Quantifier elimination Mathematics Mathematical logic Logic

UPDATE